A Passive Performance Testing approach for network protocols

Complementary to performance evaluation, the performance testing of communicating protocols is a qualitative and quantitative test of a system, aiming at verifying whether the performance requirements of the protocol have been satisfied under certain conditions. Conformance testing of communicating protocols is a functional test which verifies whether the behaviours of the protocol satisfy defined requirements. It raises the interesting issue of how to accurately formalize the performance requirements and how to converge these two kinds of tests by using the same formal approach. In this paper, we introduce a novel logic-based approach to test the protocol performance requirements through real execution traces and formally specified properties. And also a distributed testing framework is designed for network protocols. Keywords-Session Initiation Protocol; Formal Methods; Passive Testing; Performance Testing